-
1 deductive machine
-
2 inference engine
1) Компьютерная техника: механизм вывода2) Вычислительная техника: дедуктивная машина, машина логического вывода, метод логического вывода, механизм логического вывода, машина логического вывода (механизм экспертной системы)3) Программирование: машина вывода (часть экспертной системы), блок программы, реализующий извлечение правил (напр. из баз данных) и построение умозаключений (часть экспертной системы)4) Автоматика: механизм умозаключений (в системе знаний), механизм логических выводов (напр. в интеллектных САПР)5) Робототехника: "машина" логического вывода (в СИИ) -
3 inference engine
вчт. машина или механизм логического вывода, дедуктивная машинаАнгло-русский словарь технических терминов > inference engine
-
4 deductive machine
Вычислительная техника: дедуктивная машина
См. также в других словарях:
Машина логического вывода — программа, моделирующая механизм рассуждений и оперирующая знаниями и данными с целью получения новых данных из знаний и других данных, имеющихся в рабочей памяти. Обычно машина логического вывода использует программно реализованный механизм… … Финансовый словарь
логика — ЛОГИКА (от греч. logik (logos) слово, разум, рассуждение) наука о правильных (корректных) рассуждениях. Традиционно рассуждение состоит из последовательности предложений, названных посылками, из которых следует единственное предложение,… … Энциклопедия эпистемологии и философии науки
Шерлокиана — Эта статья предлагается к удалению. Пояснение причин и соответствующее обсуждение вы можете найти на странице Википедия:К удалению/9 ноября 2012. Пока процесс обсуждения не завершён, статью можно … Википедия
Формальные методы — Пример формальной спецификации с использованием Z нотации В информатике и инженерии программного обеспечения формальными методами называется группа техник, основанных на математическом аппарате для … Википедия